(:*******************************************************:)
(: Test: K-QuantExprWith-22                              :)
(: Written by: Frans Englich                             :)
(: Date: 2007-11-22T11:31:21+01:00                       :)
(: Purpose: Every-quantification with type-declaration. An implementation supporting the static typing feature may raise XPTY0004. :)
(:*******************************************************:)
not(some $a as empty-sequence() in (), $b as xs:integer in $a satisfies $b)